ISWIM - définition. Qu'est-ce que ISWIM
Diclib.com
Dictionnaire ChatGPT
Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

  • comment le mot est utilisé
  • fréquence d'utilisation
  • il est utilisé plus souvent dans le discours oral ou écrit
  • options de traduction de mots
  • exemples d'utilisation (plusieurs phrases avec traduction)
  • étymologie

Qu'est-ce (qui) est ISWIM - définition

PROGRAMMING LANGUAGE
ISWIM programming language; ISWIM (programming language); Iswim; ISWYM; If you See What I Mean; If You See What I Mean; If you see what I mean; If you see what i mean; I See What You Mean; I see what you mean; The Next 700 Programming Languages; The next 700 programming languages; The next 700; The Next 700

ISWIM         
<language> (If You See What I Mean) An influential but unimplemented computer programming language described in the article by Peter J. Landin cited below. Landin attempted to capture all known programming language concepts, including assignment and control operators such as goto and coroutines, within a single lambda calculus based framework. ISWIM is an imperative language with a functional core, consisting of sugared lambda calculus plus {mutable variables} and assignment. A powerful control mechanism, Landin's J operator, enables capture of the current continuation (the call/cc operator of Scheme is a simplified version). Being based on lambda calculus ISWIM had higher order functions and lexically scoped variables. The operational semantics of ISWIM are defined using Landin's SECD machine and use call-by-value ({eager evaluation}). To make ISWIM look more like mathematical notation, Landin replaced ALGOL's semicolons and begin end blocks with the off-side rule and scoping based on indentation. An ISWIM program is a single expression qualified by "where" clauses (auxiliary definitions including equations among variables), conditional expressions and function definitions. With CPL, ISWIM was one of the first programming languages to use "where" clauses. New data types could be defined as a (possibly recursive) sum of products like the algebraic data types found in modern functional languages. ISWIM variables were probably dynamically typed but Landin may have planned some form of type inference. Concepts from ISWIM appear in Art Evan's PAL and John Reynold's Gedanken, Milner's ML and purely functional languages with lazy evaluation like SASL, Miranda and Haskell. [{"The Next 700 Programming Languages" (http://www.cs.utah.edu/ISWIMwilson/compilers/old/papers/p157-landin.pdf)}, P.J. Landin, CACM 9(3):157-166, Mar 1966]. (2007-03-20)

Wikipédia

ISWIM

ISWIM (acronym for If you See What I Mean) is an abstract computer programming language (or a family of languages) devised by Peter Landin and first described in his article "The Next 700 Programming Languages", published in the Communications of the ACM in 1966.

Although not implemented, it has proved very influential in the development of programming languages, especially functional programming languages such as SASL, Miranda, ML, Haskell and their successors, and dataflow programming languages like Lucid.